home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 15 / CU Amiga Magazine's Super CD-ROM 15 (1997)(EMAP Images)(GB)[!][issue 1997-10].iso / CUCD / Graphics / Ghostscript / source / iutil.c < prev    next >
C/C++ Source or Header  |  1997-04-09  |  16KB  |  547 lines
  1. /* Copyright (C) 1989, 1995, 1996, 1997 Aladdin Enterprises.  All rights reserved.
  2.   
  3.   This file is part of Aladdin Ghostscript.
  4.   
  5.   Aladdin Ghostscript is distributed with NO WARRANTY OF ANY KIND.  No author
  6.   or distributor accepts any responsibility for the consequences of using it,
  7.   or for whether it serves any particular purpose or works at all, unless he
  8.   or she says so in writing.  Refer to the Aladdin Ghostscript Free Public
  9.   License (the "License") for full details.
  10.   
  11.   Every copy of Aladdin Ghostscript must include a copy of the License,
  12.   normally in a plain ASCII text file named PUBLIC.  The License grants you
  13.   the right to copy, modify and redistribute Aladdin Ghostscript, but only
  14.   under certain conditions described in the License.  Among other things, the
  15.   License requires that the copyright notice and this notice be preserved on
  16.   all copies.
  17. */
  18.  
  19. /* iutil.c */
  20. /* Utilities for Ghostscript interpreter */
  21. #include "math_.h"            /* for fabs */
  22. #include "memory_.h"
  23. #include "string_.h"
  24. #include "ghost.h"
  25. #include "errors.h"
  26. #include "idict.h"
  27. #include "imemory.h"
  28. #include "iname.h"
  29. #include "ipacked.h"            /* for array_get */
  30. #include "iutil.h"            /* for checking prototypes */
  31. #include "ivmspace.h"
  32. #include "oper.h"
  33. #include "store.h"
  34. #include "gsccode.h"            /* for gxfont.h */
  35. #include "gsmatrix.h"
  36. #include "gsutil.h"
  37. #include "gxfont.h"
  38.  
  39. /* ------ Object utilities ------ */
  40.  
  41. /* Copy refs from one place to another. */
  42. int
  43. refcpy_to_old(ref *aref, uint index, register const ref *from,
  44.   register uint size, client_name_t cname)
  45. {    register ref *to = aref->value.refs + index;
  46.     int code = refs_check_space(from, size, r_space(aref));
  47.     if ( code < 0 )
  48.         return code;
  49.     /* We have to worry about aliasing.... */
  50.     if ( to <= from || from + size <= to )
  51.         while ( size-- )
  52.             ref_assign_old(aref, to, from, cname), to++, from++;
  53.     else
  54.         for ( from += size, to += size; size--; )
  55.             from--, to--, ref_assign_old(aref, to, from, cname);
  56.     return 0;
  57. }
  58. void
  59. refcpy_to_new(register ref *to, register const ref *from, register uint size)
  60. {    while ( size-- )
  61.         ref_assign_new(to, from), to++, from++;
  62. }
  63.  
  64. /* Fill a new object with nulls. */
  65. void
  66. refset_null(register ref *to, register uint size)
  67. {    while ( size-- ) make_null_new(to), to++;
  68. }
  69.  
  70. /* Compare two objects for equality. */
  71. bool
  72. obj_eq(register const ref *pref1, register const ref *pref2)
  73. {    ref nref;
  74.     if ( r_type(pref1) != r_type(pref2) )
  75.        {    /* Only a few cases need be considered here: */
  76.         /* integer/real (and vice versa), name/string */
  77.         /* (and vice versa), and extended operators. */
  78.         switch ( r_type(pref1) )
  79.            {
  80.         case t_integer:
  81.             return (r_has_type(pref2, t_real) &&
  82.                 pref2->value.realval == pref1->value.intval);
  83.         case t_real:
  84.             return (r_has_type(pref2, t_integer) &&
  85.                 pref2->value.intval == pref1->value.realval);
  86.         case t_name:
  87.             if ( !r_has_type(pref2, t_string) )
  88.               return false;
  89.             name_string_ref(pref1, &nref);
  90.             pref1 = &nref;
  91.             break;
  92.         case t_save:
  93.             return (r_has_type(pref2, t_save) &&
  94.                 pref2->value.saveid == pref1->value.saveid);
  95.         case t_string:
  96.             if ( !r_has_type(pref2, t_name) )
  97.               return false;
  98.             name_string_ref(pref2, &nref);
  99.             pref2 = &nref;
  100.             break;
  101.         default:
  102.             if ( r_btype(pref1) != r_btype(pref2) )
  103.               return false;
  104.            }
  105.        }
  106.     /* Now do a type-dependent comparison. */
  107.     /* This would be very simple if we always filled in */
  108.     /* all 8 bytes of a ref, but we currently don't. */
  109.     switch ( r_btype(pref1) )
  110.        {
  111.     case t_array:
  112.         return (pref1->value.refs == pref2->value.refs &&
  113.             r_size(pref1) == r_size(pref2));
  114.     case t_mixedarray:
  115.     case t_shortarray:
  116.         return (pref1->value.packed == pref2->value.packed &&
  117.             r_size(pref1) == r_size(pref2));
  118.     case t_boolean:
  119.         return (pref1->value.boolval == pref2->value.boolval);
  120.     case t_dictionary:
  121.         return (pref1->value.pdict == pref2->value.pdict);
  122.     case t_file:
  123.         return (pref1->value.pfile == pref2->value.pfile &&
  124.             r_size(pref1) == r_size(pref2));
  125.     case t_integer:
  126.         return (pref1->value.intval == pref2->value.intval);
  127.     case t_mark:
  128.     case t_null:
  129.         return true;
  130.     case t_name:
  131.         return (pref1->value.pname == pref2->value.pname);
  132.     case t_oparray:
  133.     case t_operator:
  134.         return (op_index(pref1) == op_index(pref2));
  135.     case t_real:
  136.         return (pref1->value.realval == pref2->value.realval);
  137.     case t_string:
  138.         return (!bytes_compare(pref1->value.bytes, r_size(pref1),
  139.                        pref2->value.bytes, r_size(pref2)));
  140.     case t_device:
  141.         return (pref1->value.pdevice == pref2->value.pdevice);
  142.     case t_struct:
  143.     case t_astruct:
  144.         return (pref1->value.pstruct == pref2->value.pstruct);
  145.     case t_fontID:
  146.       {    /*
  147.          * In the Adobe implementations, different scalings of a
  148.          * font have "equal" FIDs, so we do the same.
  149.          */
  150.         const gs_font *pfont1 = r_ptr(pref1, gs_font);
  151.         const gs_font *pfont2 = r_ptr(pref2, gs_font);
  152.  
  153.         while ( pfont1->base != pfont1 )
  154.           pfont1 = pfont1->base;
  155.         while ( pfont2->base != pfont2 )
  156.           pfont2 = pfont2->base;
  157.         return (pfont1 == pfont2);
  158.       }
  159.       }
  160.     return false;            /* shouldn't happen! */
  161. }
  162.  
  163. /* Compare two objects for identity. */
  164. bool
  165. obj_ident_eq(register const ref *pref1, register const ref *pref2)
  166. {    if ( r_type(pref1) != r_type(pref2) )
  167.       return false;
  168.     if ( r_has_type(pref1, t_string) )
  169.       return (pref1->value.bytes == pref2->value.bytes &&
  170.           r_size(pref1) == r_size(pref2));
  171.     return obj_eq(pref1, pref2);
  172. }
  173.  
  174. /*
  175.  * Create a printable representation of an object, a la cvs (full_print =
  176.  * false) or == (full_print = true).  Return 0 if OK, <0 if the destination
  177.  * wasn't large enough or the object's contents weren't readable.
  178.  * If the object was a string or name, store a pointer to its characters
  179.  * even if it was too large.
  180.  */
  181. int
  182. obj_cvp(const ref *op, byte *str, uint len, uint *prlen, const byte **pchars,
  183.   bool full_print)
  184. {    char buf[30];            /* big enough for any float */
  185.     const byte *pstr = (const byte *)buf;
  186.     uint plen;
  187.     ref nref;
  188.  
  189.     if ( full_print )
  190.       switch ( r_btype(op))
  191.         {
  192.         case t_boolean:
  193.         case t_integer:
  194.         case t_real:
  195.         break;
  196.         default:
  197.         return_error(e_typecheck);
  198.         }
  199.     switch ( r_btype(op) )
  200.        {
  201.     case t_boolean:
  202.         pstr = (const byte *)(op->value.boolval ? "true" : "false");
  203.         break;
  204.     case t_integer:
  205.         sprintf(buf, "%ld", op->value.intval);
  206.         break;
  207.     case t_name:
  208.         name_string_ref(op, &nref);    /* name string */
  209. cvname:        pstr = nref.value.bytes;
  210.         plen = r_size(&nref);
  211.         if ( pchars != 0 )
  212.           *pchars = pstr;
  213.         goto nl;
  214.     case t_oparray:
  215.         { uint index = op_index(op);
  216.           const op_array_table *opt = op_index_op_array_table(index);
  217.           name_index_ref(opt->nx_table[index - opt->base_index], &nref);
  218.         }
  219.         name_string_ref(&nref, &nref);
  220.         goto cvname;
  221.     case t_operator:
  222.        {    /* Recover the name from the initialization table. */
  223.         uint index = op_index(op);
  224.         /* Check the validity of the index.  (An out-of-bounds */
  225.         /* index is only possible when examining an invalid */
  226.         /* object using the debugger.) */
  227.         if ( index > 0 && index < op_def_count )
  228.            {    pstr = (const byte *)(op_def_table[index]->oname + 1);
  229.             break;
  230.            }
  231.        }
  232.         /* Internal operator, no name. */
  233.         sprintf(buf, "@0x%lx", (ulong)op->value.opproc);
  234.         break;
  235.     case t_real:
  236.         /*
  237.          * To get fully accurate output results for IEEE single-
  238.          * precision floats (24 bits of mantissa), the ANSI
  239.          * %g default of 6 digits is not enough; 9 are needed.
  240.          * Unfortunately, using %.9g for floats (as opposed to
  241.          * doubles) produces unfortunate artifacts such as 0.01 5 mul
  242.          * printing as 0.049999997.  Therefore, we print using %g,
  243.          * and if the result isn't accurate enough, print again
  244.          * using %.9g.  Unfortunately, a few PostScript programs
  245.          * 'know' that the printed representation of floats fits
  246.          * into 6 digits (e.g., with cvs).  We resolve this by letting
  247.          * cvs, cvrs, and = do what the Adobe interpreters appear
  248.          * to do (use %g), and only produce accurate output for ==,
  249.          * for which there is no analogue of cvs.  What a hack!
  250.          */
  251.         { float value = op->value.realval;
  252.           sprintf(buf, "%g", value);
  253.           if ( full_print )
  254.             {    float scanned;
  255.             sscanf(buf, "%f", &scanned);
  256.             if ( scanned != value )
  257.               sprintf(buf, "%.9g", value);
  258.             }
  259.         }
  260.         /*
  261.          * Make sure the output has a decimal point.
  262.          * This is needed for compatibility with
  263.          * Adobe (and other) interpreters.
  264.          */
  265.         if ( strchr(buf, '.') != NULL ) break;
  266.         {    char *ept = strchr(buf, 'e');
  267.             if ( ept == NULL )
  268.                 strcat(buf, ".0");
  269.             else
  270.             {    /* Insert the .0 before the exponent. */
  271.                 /* What a nuisance! */
  272.                 char buf1[30];
  273.                 strcpy(buf1, ept);
  274.                 strcpy(ept, ".0");
  275.                 strcat(buf, buf1);
  276.             }
  277.         }
  278.         break;
  279.     case t_string:
  280.         check_read(*op);
  281.         pstr = op->value.bytes;
  282.         plen = r_size(op);
  283.         if ( pchars != 0 )
  284.           *pchars = pstr;
  285.         goto nl;
  286.     default:
  287.         pstr = (const byte *)"--nostringval--";
  288.        }
  289.     plen = strlen((const char *)pstr);
  290. nl:    *prlen = plen;
  291.     if ( plen > len )
  292.       return_error(e_rangecheck);
  293.     memcpy(str, pstr, plen);
  294.     return 0;
  295. }
  296.  
  297. /* Find the index of an operator that doesn't have one stored in it. */
  298. ushort
  299. op_find_index(const ref *pref /* t_operator */)
  300. {    op_proc_p proc = real_opproc(pref);
  301.     register const op_def_ptr *opp = op_def_table;
  302.     register const op_def_ptr *opend = opp + op_def_count;
  303.     for ( ; ++opp < opend; )
  304.     {    if ( (*opp)->proc == proc )
  305.             return opp - op_def_table;
  306.     }
  307.     /* Lookup failed!  This isn't possible.... */
  308.     return 0;
  309. }
  310.  
  311. /*
  312.  * Convert an operator index to an operator or oparray ref.
  313.  * This is only used for debugging and for 'get' from packed arrays,
  314.  * so it doesn't have to be very fast.
  315.  */
  316. void
  317. op_index_ref(uint index, ref *pref)
  318. {    const op_array_table *opt;
  319.     if ( op_index_is_operator(index) )
  320.       {    make_oper(pref, index, op_index_proc(index));
  321.         return;
  322.       }
  323.     opt = op_index_op_array_table(index);
  324.     make_tasv(pref, t_oparray, opt->attrs, index,
  325.                   const_refs, (opt->table.value.const_refs
  326.                                + index - opt->base_index));
  327. }
  328.  
  329. /* Get an element from an array of some kind. */
  330. /* This is also used to index into Encoding vectors, */
  331. /* the error name vector, etc. */
  332. int
  333. array_get(const ref *aref, long index_long, ref *pref)
  334. {    if ( (ulong)index_long >= r_size(aref) )
  335.         return_error(e_rangecheck);
  336.     switch ( r_type(aref) )
  337.        {
  338.     case t_array:
  339.        {    const ref *pvalue =
  340.            aref->value.refs + (uint)index_long;
  341.         ref_assign(pref, pvalue);
  342.        }    return 0;
  343.     case t_mixedarray:
  344.        {    const ref_packed *packed = aref->value.packed;
  345.         uint index = (uint)index_long;
  346.         for ( ; index--; ) packed = packed_next(packed);
  347.         packed_get(packed, pref);
  348.        }    return 0;
  349.     case t_shortarray:
  350.        {    const ref_packed *packed =
  351.            aref->value.packed + (uint)index_long;
  352.         packed_get(packed, pref);
  353.        }    return 0;
  354.     default:
  355.         return_error(e_typecheck);
  356.        }
  357. }
  358.  
  359. /* Get an element from a packed array. */
  360. /* (This works for ordinary arrays too.) */
  361. /* Source and destination are allowed to overlap if the source is packed, */
  362. /* or if they are identical. */
  363. void
  364. packed_get(const ref_packed *packed, ref *pref)
  365. {    const ref_packed elt = *packed;
  366.     uint value = elt & packed_value_mask;
  367.     switch ( elt >> r_packed_type_shift )
  368.     {
  369.     default:            /* (shouldn't happen) */
  370.         make_null(pref);
  371.         break;
  372.     case pt_executable_operator:
  373.         op_index_ref(value, pref);
  374.         break;
  375.     case pt_integer:
  376.         make_int(pref, (int)value + packed_min_intval);
  377.         break;
  378.     case pt_literal_name:
  379.         name_index_ref(value, pref);
  380.         break;
  381.     case pt_executable_name:
  382.         name_index_ref(value, pref);
  383.         r_set_attrs(pref, a_executable);
  384.         break;
  385.     case pt_full_ref:
  386.     case pt_full_ref+1:
  387.         ref_assign(pref, (const ref *)packed);
  388.     }
  389. }
  390.  
  391. /* Check to make sure an interval contains no object references */
  392. /* to a space younger than a given one. */
  393. /* Return 0 or e_invalidaccess. */
  394. int
  395. refs_check_space(register const ref *bot, register uint size, uint space)
  396. {    for ( ; size--; bot++ )
  397.       store_check_space(space, bot);
  398.     return 0;
  399. }
  400.  
  401. /* ------ String utilities ------ */
  402.  
  403. /* Convert a C string to a Ghostscript string */
  404. int
  405. string_to_ref(const char *cstr, ref *pref, gs_ref_memory_t *mem,
  406.   client_name_t cname)
  407. {    uint size = strlen(cstr);
  408.     int code = gs_alloc_string_ref(mem, pref, a_all, size, cname);
  409.     if ( code < 0 )
  410.       return code;
  411.     memcpy(pref->value.bytes, cstr, size);
  412.     return 0;
  413. }
  414.  
  415. /* Convert a Ghostscript string to a C string. */
  416. /* Return 0 iff the buffer can't be allocated. */
  417. char *
  418. ref_to_string(const ref *pref, gs_memory_t *mem, client_name_t cname)
  419. {    uint size = r_size(pref);
  420.     char *str = (char *)gs_alloc_string(mem, size + 1, cname);
  421.     if ( str == 0 )
  422.         return 0;
  423.     memcpy(str, (const char *)pref->value.bytes, size);
  424.     str[size] = 0;
  425.     return str;
  426. }
  427.  
  428. /* ------ Operand utilities ------ */
  429.  
  430. /* Get N numeric operands from the stack or an array. */
  431. /* Return a bit-mask indicating which ones are integers, */
  432. /* or a (negative) error indication. */
  433. /* The 1-bit in the bit-mask refers to the first operand. */
  434. /* Store float versions of the operands at pval. */
  435. /* The stack underflow check (check for t__invalid) is harmless */
  436. /* if the operands come from somewhere other than the stack. */
  437. int
  438. num_params(const ref *op, int count, float *pval)
  439. {    int mask = 0;
  440.     pval += count;
  441.     while ( --count >= 0 )
  442.        {    mask <<= 1;
  443.         switch ( r_type(op) )
  444.            {
  445.         case t_real:
  446.             *--pval = op->value.realval;
  447.             break;
  448.         case t_integer:
  449.             *--pval = op->value.intval;
  450.             mask++;
  451.             break;
  452.         case t__invalid:
  453.             return_error(e_stackunderflow);
  454.         default:
  455.             return_error(e_typecheck);
  456.            }
  457.         op--;
  458.        }
  459.     /* If count is very large, mask might overflow. */
  460.     /* In this case we clearly don't care about the value of mask. */
  461.     return (mask < 0 ? 0 : mask);
  462. }
  463.  
  464. /* Get a single real parameter. */
  465. /* The only possible error is e_typecheck. */
  466. /* If an error is returned, the return value is not updated. */
  467. int
  468. real_param(const ref *op, float *pparam)
  469. {    switch ( r_type(op) )
  470.        {
  471.     case t_integer:
  472.         *pparam = op->value.intval;
  473.         break;
  474.     case t_real:
  475.         *pparam = op->value.realval;
  476.         break;
  477.     default:
  478.         return_error(e_typecheck);
  479.        }
  480.     return 0;
  481. }
  482.  
  483. /* Get an integer parameter in a given range. */
  484. int
  485. int_param(const ref *op, int max_value, int *pparam)
  486. {    check_int_leu(*op, max_value);
  487.     *pparam = (int)op->value.intval;
  488.     return 0;
  489. }
  490.  
  491. /* Make real values on the operand stack. */
  492. void
  493. make_reals(ref *op, const float *pval, int count)
  494. {    for ( ; count--; op++, pval++ )
  495.       make_real(op, *pval);
  496. }
  497.  
  498. /* Compute the error code when check_proc fails. */
  499. /* Note that the client, not this procedure, uses return_error. */
  500. /* The stack underflow check is harmless in the off-stack case. */
  501. int
  502. check_proc_failed(const ref *pref)
  503. {    return (r_is_array(pref) ? e_invalidaccess :
  504.         r_has_type(pref, t__invalid) ? e_stackunderflow :
  505.         e_typecheck);
  506. }
  507.  
  508. /* Compute the error code when a type check on the stack fails. */
  509. /* Note that the client, not this procedure, uses return_error. */
  510. int
  511. check_type_failed(const ref *op)
  512. {    return (r_has_type(op, t__invalid) ? e_stackunderflow : e_typecheck);
  513. }
  514.  
  515. /* ------ Matrix utilities ------ */
  516.  
  517. /* Read a matrix operand. */
  518. /* Return 0 if OK, error code if not. */
  519. int
  520. read_matrix(const ref *op, gs_matrix *pmat)
  521. {    int code;
  522.     check_read_type(*op, t_array);
  523.     if ( r_size(op) != 6 )
  524.         return_error(e_rangecheck);
  525.     code = num_params(op->value.refs + 5, 6, (float *)pmat);
  526.     return (code < 0 ? code : 0);
  527. }
  528.  
  529. /* Write a matrix operand. */
  530. /* Return 0 if OK, error code if not. */
  531. int
  532. write_matrix(register ref *op, const gs_matrix *pmat)
  533. {    ref *aptr;
  534.     const float *pel;
  535.     int i;
  536.     check_write_type(*op, t_array);
  537.     if ( r_size(op) != 6 )
  538.         return_error(e_rangecheck);
  539.     aptr = op->value.refs;
  540.     pel = (const float *)pmat;
  541.     for ( i = 5; i >= 0; i--, aptr++, pel++ )
  542.     {    ref_save(op, aptr, "write_matrix");
  543.         make_real_new(aptr, *pel);
  544.     }
  545.     return 0;
  546. }
  547.